Constraint satisfaction problem - PDFSEARCH.IO - Document Search Engine

Constraint satisfaction problem
Results: 216

#	Item
11	Complexity and Approximability of Parameterized MAX-CSPs Holger Dell1 , Eun Jung Kim2 , Michael Lampis3 , Valia Mitsou4 , and Tobias Mömke5 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-11-09 10:22:02 Theoretical computer science Computational complexity theory Mathematics Constraint programming NP-complete problems Boolean algebra Parameterized complexity Boolean satisfiability problem Constraint satisfaction problem Exponential time hypothesis Treewidth Tree decomposition
12	Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-28 08:00:26 Constraint programming Operations research Constraint satisfaction problem Local consistency Mathematical optimization Heuristic Integer programming Constraint satisfaction Search algorithm Local search Look-ahead Decomposition method
13	IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware Michelle Y. Wong and David Lie Department of Electrical and Computer Engineering University of Toronto Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2015-12-20 13:29:40 Smartphones Cross-platform software Object-oriented programming languages Malware Malware analysis Android Monkey X Application programming interface Concolic testing Event Java Constraint satisfaction problem
14	Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:46 Constraint programming Constraint satisfaction problem Lambda calculus Constraint Constraint logic programming Constraint satisfaction
15	Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:51 Constraint programming Operations research Constraint satisfaction problem Local consistency Mathematical optimization Heuristic Integer programming Constraint satisfaction Search algorithm Local search Look-ahead Decomposition method
16	Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:53 Constraint programming Operations research Search algorithms Constraint satisfaction problem Mathematical optimization Constraint satisfaction Heuristic Algorithm Duality Backtracking Travelling salesman problem Local consistency
17	Frozen variables in random boolean constraint satisfaction problems Michael Molloy and Ricardo Restrepo Department of Computer Science, University of Toronto 10 King’s College Road, Toronto, ON July 3, 2012 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-07-03 16:07:59 Constraint programming Constraint satisfaction problem Structure Hypergraph Model theory
18	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
19	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:40 Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm Exponential time hypothesis Bin packing problem
20	Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 06:10:17 Constraint programming Operations research Search algorithms Constraint satisfaction problem Mathematical optimization Constraint satisfaction Heuristic Algorithm Duality Backtracking Travelling salesman problem Local consistency

UPDATE